26 found
Order:
  1.  25
    Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
    Direct download  
     
    Export citation  
     
    Bookmark   108 citations  
  2.  60
    The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8‐10):119-126.
  3.  48
    The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8-10):119-126.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  4. Relativized realizability in intuitionistic arithmetic of all finite types.Nicolas D. Goodman - 1978 - Journal of Symbolic Logic 43 (1):23-44.
  5.  42
    Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.Nicolas D. Goodman - 1984 - Journal of Symbolic Logic 49 (1):192-203.
  6.  9
    Topological models of epistemic set theory.Nicolas D. Goodman - 1990 - Annals of Pure and Applied Logic 46 (2):147-167.
  7.  45
    Mathematics as natural science.Nicolas D. Goodman - 1990 - Journal of Symbolic Logic 55 (1):182-193.
  8.  87
    The faithfulness of the interpretation of arithmetic in the theory of constructions.Nicolas D. Goodman - 1973 - Journal of Symbolic Logic 38 (3):453-459.
  9.  76
    The theory of the gödel functionals.Nicolas D. Goodman - 1976 - Journal of Symbolic Logic 41 (3):574-582.
  10.  79
    Modernizing the philosophy of mathematics.Nicolas D. Goodman - 1991 - Synthese 88 (2):119 - 126.
    The distinction between analytic and synthetic propositions, and with that the distinction between a priori and a posteriori truth, is being abandoned in much of analytic philosophy and the philosophy of most of the sciences. These distinctions should also be abandoned in the philosophy of mathematics. In particular, we must recognize the strong empirical component in our mathematical knowledge. The traditional distinction between logic and mathematics, on the one hand, and the natural sciences, on the other, should be dropped. Abstract (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  66
    The knowing mathematician.Nicolas D. Goodman - 1984 - Synthese 60 (1):21 - 38.
  12.  19
    Intensions, Church's thesis, and the formalization of mathematics.Nicolas D. Goodman - 1987 - Notre Dame Journal of Formal Logic 28 (4):473-489.
  13.  37
    The experiential foundations of mathematical knowledge.Nicolas D. Goodman - 1981 - History and Philosophy of Logic 2 (1-2):55-65.
    A view of the sources of mathematical knowledge is sketched which emphasizes the close connections between mathematical and empirical knowledge. A platonistic interpretation of mathematical discourse is adopted throughout. Two skeptical views are discussed and rejected. One of these, due to Maturana, is supposed to be based on biological considerations. The other, due to Dummett, is derived from a Wittgensteinian position in the philosophy of language. The paper ends with an elaboration of Gödel's analogy between the mathematician and the physicist.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  33
    Flagg realizability in arithmetic.Nicolas D. Goodman - 1986 - Journal of Symbolic Logic 51 (2):387-392.
  15.  4
    The theory of the Gödel functionals.Nicolas D. Goodman - 1976 - Journal of Symbolic Logic 41 (3):574-582.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  26
    A simplification of combinatory logic.Nicolas D. Goodman - 1972 - Journal of Symbolic Logic 37 (2):225-246.
  17.  26
    Replacement and collection in intuitionistic set theory.Nicolas D. Goodman - 1985 - Journal of Symbolic Logic 50 (2):344-348.
  18.  13
    Replacement and collection: a correction.Nicolas D. Goodman - 1986 - Journal of Symbolic Logic 51 (2):333-333.
  19.  13
    The arithmetic theory of constructions.Nicolas D. Goodman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 274--298.
  20.  11
    The nonconstructive content of sentences of arithmetic.Nicolas D. Goodman - 1978 - Journal of Symbolic Logic 43 (3):497-501.
  21.  29
    Book reviews. [REVIEW]Nicolas D. Goodman, Stephen W. Smoliar & Morton L. Schagrin - 1991 - Minds and Machines 1 (1):117-124.
  22.  15
    Review: R. E. Davis, Truth, Deduction, and Computation. Logic and Semantics for Computer Science. [REVIEW]Nicolas D. Goodman - 1992 - Journal of Symbolic Logic 57 (2):760-761.
  23.  17
    Errett Bishop and Douglas Bridges. Constructive analysis. Grundlehren der mathematischen Wissenschaften, no. 279. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xii + 477 pp. [REVIEW]Nicolas D. Goodman - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  24
    Michael Dummett. Elements of intuitionism. With the assistance of Roberto Minio. Oxford logic guides. Clarendon Press, Oxford1977, xii + 467 pp. [REVIEW]Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  13
    Review: Errett Bishop, Douglas Bridges, Constructive Analysis. [REVIEW]Nicolas D. Goodman - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
  26.  11
    Review: Michael Dummett, Roberto Minio, Elements of Intuitionism. [REVIEW]Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
    Direct download  
     
    Export citation  
     
    Bookmark